This article aims to elucidate, albeit in a preliminary way, the concept of liquidity in Zygmunt Bauman and its effects onsociety. The deductive-inductive method will be used. As for the methodology, this will be of a bibliographic nature. This study is in line with what the sociologist Zygmunt Bauman (1925-2017), in his texts, postulates that Modernity can be divided into two phases: Solid Modernity and Liquid Modernity. The first began in the 15th century and lasted until the 19th century; the (...) second began in the 20th century and continues to the present time. To describe modern society from the end of the 20th century, Bauman uses the metaphor of 'liquidity', aiming to point out that the contemporary world is going through a period of uncertainty, ephemerality and instabilities. According to Bauman, the modern ideal coined between the 15th and 19th centuries postulated the primacy of reason and the autonomy of capitalist man and such assumptions led society to liquid modernity. In this liquid “contemporaneity”, nothing is lasting, everything is volatile, ephemeral; consumption is the social parameter, whether of the individual, the family, the State or religion. (shrink)

This article aims to analyze some aspects of the work Manual para a Vida Feliz, the result of classes given by Epictetus, and recorded by his student Ariano. We will consider the situations that, according to Epictetus, depend on the individual and those that do not depend on their action. In particular, this analysis will focus on fragments 1 to 6 of the manual, given the length to be analyzed in an article. To account for the proposed object, this analysis (...) will be carried out, based on Hadot's (2015) perspective on the subject. The research method used will be bibliographic review. As for the methodology, it will be deductive in nature. Our studies show that his teachings are based on the essential principles of Stoic philosophy. Therefore, the only good that exists, for him, is the moral good. Furthermore, all human action is based on judgment and nature is coherent with itself. From this perspective, what depends on the individual, in this life, is what is under their control and everything that is beyond their control does not depend on them. Therefore, worrying about what is not under your control is considered useless and a waste of time. (shrink)

Poems are treated by translators as hierarchical multilevel systems. Here we propose the notion of “multilevel poetry translation” to characterize such cases of poetry translation in terms of selection and rebuilding of a multilevel system of constraints across languages. Different levels of a poem correspond to different sets of components that asymmetrically constrain each other (e. g., grammar, lexicon, syntactic construction, prosody, rhythm, typography, etc.). This perspective allows a poem to be approached as a thinking-tool: an “experimental lab” which submits (...) language to unusual conditions and provides a scenario to observe the emergence of new patterns of semiotic behaviour as a result. We describe this operation as a problem-solving task, and exemplify with Augusto de Campos’ Portuguese translation of John Donne’s poem “The Expiration.”. (shrink)

Atas do III Colóquio Internacional de Metafísica. [ISBN 978-85-7273-730-2]. Sumário: 1. Prazer, desejo e amor-paixão no texto de Lucrécio, por Antonio Júlio Garcia Freire; 2. Anaximandro: física, metafísica e direito, por Celso Martins Azar Filho; 3. Carta a Guimarães Rosa, por Cícero Cunha Bezerra; 4. Ante ens, non ens: La primacía de La negación em El neoplatonismo medievel, por Claudia D’Amico; 5. Metafísica e neoplatonismo, por David G. Santos; 6. Movimento e tempo no pensamento de Epicuro, por Everton da Silva (...) Rocha; 7. Críticas e elogios de Nietzche a Sócrates, por Fernanda Bulhões; 8. Sobre a Metafísica ou a respeito do jejum, por Gilvan Fogel; 9. A origem estética da ontologia hermenêutica de Luigi Pareyson, por Íris Fátima da Silva; 10. A Natureza da filosofia de Hume, por Jaimir Conte; 11. Logique ET métaphysique, por Jean-Baptiste Jainet; 12. Blaise Pascal: da recusa da metafísica da raison à metafísica do « estudo do homem », por João Emiliano Fotaleza de Aquino; 13. O niilismo no prólogo de Assim Falou Zaratustra. Por José Elielton de Sousa; 14. Presencia;Ausência: de Plotino a Procolo, por José Maria Zamora; 15. A natureza do Eros platônico, por Jovelina Maria Ramos de Souza; 16. Breve comentário acerca da origem da Gelassenheit de Heidegger a partir da mística de mestre Eckkart, por Luiz Fernando Fontes-Teixeira; 17. Humanismo e domesticação em Regras para o parque humano, por Luiz Roberto Alves dos Santos; 18. Contra a teoria de dois mundos na filosofia de Platão (República V 476e-478e), por Marcelo Pimenta Marques; 19. Sensações, impressões, projeções: as afecções do pensamento, por Markus Figueira da Silva; 20. Contribuições à história de uma metáfora: Heidegger e Nicolau de Cusa, por Oscar Federico Bauchwitz; 21. Uma impossibilidade ontológica em Schopenhauer, por Paulo César Oliveira Vasconcelos; 22. Ser e fenômeno: a Fenomenologia como teoria estética da ciência, por Pedro Paulo Coroa; 23. Para que serve a Metafísica de Aristóteles? O exemplo do movimento animal, por Pierre-marie Morel; 24. Contribuições para uma ontologia digital, por Rafael Capurro; 25. O que é o fim da metafísica, por Rodrigo Ribeiro Alves Neto; 26. A Physis na conformação do logos: linguagem e pensamento no corpus epicúreo, por Rodrigo Vidal do Nascimento; 27. O acontecimento de mundo na era da informação, por Soraya Guimarães da Silva; 28. Apofaticismo e abstração em Mark Rothko, por Vanessa Alves de Lacerda Santos. -/- . (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Philosophers of language and metaethicists are concerned with persistent normative and evaluative disagreements – how can we explain persistent intelligible disagreements in spite of agreement over the described facts? Tim Sundell recently argued that evaluative aesthetic and personal taste disputes could be explained as metalinguistic negotiations – conversations where interlocutors negotiate how best to use a word relative to a context. I argue here that metalinguistic negotiations are neither necessary nor sufficient for genuine evaluative and normative disputes to occur. A (...) comprehensive account of value talk requires stronger metanormative commitments than metalinguistic negotiations afford. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

This paper argues for contextualism about predicates of personal taste and evaluative predicates in general, and offers a proposal of how apparently resilient disagreements are to be explained. The present proposal is complementary to others that have been made in the recent literature. Several authors, for instance (López de Sa, 2008; Sundell, 2011; Huvenes, 2012; Marques and García-Carpintero, 2014; Marques, 2014a), have recently defended semantic contextualism for those kinds of predicates from the accusation that it faces the problem (...) of lost disagreement. These authors have proposed that a proper account of the resilient disagreement in the cases studied is to be achieved by an appeal to pragmatic processes, and to conflicting non-doxastic attitudes. It is argued here that the existing contextualist solutions are incomplete as they stand, and are subject to objections because of this. A supplementation of contextualism is offered, together with an explanation of why failed presuppositions of commonality (López de Sa), disputes over the appropriateness of a contextually salient standard (Sundell), and differences in non-doxastic attitudes (Sundell, Huvenes, Marques, and García-Carpintero) give rise to conflicts. This paper claims that conflicts of attitudes are the reason why people still have impressions of disagreement in spite of failed commonality presuppositions, that those conflicts drive metalinguistic disputes over the selection of appropriate standards, and hence conflicting non-doxastic attitudes demand an explanation that is independent of those context dependent pragmatic processes. The paper further argues that the missing explanation is 2-fold: first, disagreement prevails where the properties expressed by taste and value predicates are response-dependent properties, and, secondly, it prevails where those response-dependent properties are involved in evolved systems of coordination that respond to evolutionarily recurrent situations. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, (...) class='Hi'>Augusto evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

In this paper, I argue that hate speech expresses hate, and answer some objections to expressivist views. First, I briefly comment on some limitations of pragmatic accounts of harmful speech. I then present an expressive-normative view of derogatory discourse according to which it is expressive of an affective state by presupposing it. A linguistic act expressive of an affective state inherits the normativity that is constitutive of that state, as directed to its intentional object. If the act is successful, it (...) updates the conversational context with the normative appraisal conditions of the affective state presupposed. I argue that this model can be applied to hate speech. I rely on current research on the psychology of hate to identify the appraisal conditions, action tendencies, and motivational goals characteristic of hate. The account supplements other pragmatic accounts of hate speech. (shrink)

In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

John MacFarlane defends a radical form of truth relativism that makes the truth of assertions relative not only to contexts of utterance but also to contexts of assessment, or perspectives. Making sense of assessment-sensitive truth is a matter of making sense of the normative commitments undertaken by speakers in using assessment sensitive sentences. This paper argues against the possibility of making sense of such a practice. Evans raised a challenge to the coherence of relative truth. A modification of the challenge (...) can be given against MacFarlane’s revised views on assertion. The main objection to the relativist is that rational and earnest speakers are not bound by assessment-relative standards of correctness. (shrink)

Words change meaning, usually in unpredictable ways. But some words’ meanings are revised intentionally. Revisionary projects are normally put forward in the service of some purpose – some serve specific goals of inquiry, and others serve ethical, political or social aims. Revisionist projects can ameliorate meanings, but they can also pervert. In this paper, I want to draw attention to the dangers of meaning perversions, and argue that the self-declared goodness of a revisionist project doesn’t suffice to avoid meaning perversions. (...) The road to Hell, or to horrors on Earth, is paved with good intentions. Finally and more importantly, I want to demarcate what meaning perversions are. This, I hope, can help us assess the moral and political legitimacy of revisionary projects. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

Brian Cutter objected to the consequence argument due to its dependence on the principle that miracle workers are metaphysically impossible. A miracle worker is someone who has the ability to act in a way such that the laws of nature would be violated. While there is something to the thought that agents like us do not have this ability, Cutter claims that there is no compelling reason to regard miracle workers as metaphysically impossible. However, the paper contends that miracle workers (...) are indeed impossible according to well-known theories concerning the laws of nature. This result highlights the reliance of the consequence argument on a plausible premise, which is widely accepted by proponents of non-Humean views of laws. The paper also provides a way to explain away the intuition that miracle workers are possible, but this has the upshot that a recent, two-dimensional formulation of the consequence argument is unsound. (shrink)

Kaplan (1999) argued that a different dimension of expressive meaning (“use-conditional”, as opposed to truth-conditional) is required to characterize the meaning of pejoratives, including slurs and racial epithets. Elaborating on this, writers have argued that the expressive meaning of pejoratives and slurs is either a conventional implicature (Potts 2007) or a presupposition (Macià 2002 and 2014, Schlenker 2007, Cepollaro and Stojanovic 2016). We argue that an expressive presuppositional theory accounts well for the data, but that expressive presuppositions are not just (...) propositions to be added to a common ground. We hold that expressives, including pejoratives and slurs, make requirements on a contextual record governed by sui generis norms specific to affective attitudes and their expressions. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

One important objection to the Condition Of ReasonNable Epistemic Access (CORNEA) is that it is incompatible with inductive evidence. This objection, however, relies on a counterfactual interpretation of CORNEA, and Wykstra and Perrine have shown that CORNEA need not be interpreted in that way, but rather in terms of conditional probability. Here, we show that there is an important gap in this recent response to the counterfactual-based criticism of CORNEA. We argue that the main response to this criticism ultimately depends (...) on a specific semantics for counterfactual conditionals. More specifically, it ultimately depends on the denial of the conditional excluded middle principle. We then investigate and suggest a hitherto unknown defense of CORNEA’s counterfactual interpretation. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

This paper aims to explore the nature of Zeno-machines by examining their conceptual coherence, from the perspective of contemporary theories on the passage of time. More specifically, it will analyse the following questions: Are Zeno-machines and supertasks coherent if we adopt the eternalist theory of time? What conclusions can be drawn from choosing the eternalist thesis, or the presentist thesis, when examining Zeno-machines? To this end, an overview of the opposing theories of time is provided, alongside the usual objections to (...) Zeno-machines and their theoretical foundations from Zeno’s dichotomy paradox. Keywords: Zeno-machines, philosophy of time, supertasks, Zeno’s paradox. (shrink)

We usually don’t acknowledge social mediation when speaking about subjective experiences in day-to-day life, which relies instead on a unitary and essentialist notion of identity. I initially explore this statement by examining how Kant changes his view on singular-universal relation from the first to the third Critique. A closer look at the reflexive judgment and how it states singularity as a non-conceptualised event follows from that. I then argue in favour of an affinity between an aesthetic notion of singularity, such (...) as found in the third Critique, and the political mobilisation of subjective experiences. (shrink)

Defensores do princípio da precaução propõem com frequência mudanças nas práticas científicas, para que elas facilitem o mesmo objetivo do princípio: evitar ameaças incertas ao ambiente ou à saúde humana. A ciência deveria ser uma ciência precautória. Apesar da importância prática da ciência precautória e da sua proximidade com os debates sobre ciência e valores, ela ainda não foi sistematicamente examinada. Neste artigo, pretende-se contribuir para a literatura sobre a ciência precautória de dois modos: sistematizando sua literatura prévia e propondo (...) uma definição de um de seus elementos principais, a precaução epistêmica, como uma orientação específica para a gestão de riscos indutivos. Conclui-se com algumas objeções que tal definição levanta, bem como caminhos de pesquisas futuras para abordá-las. (shrink)

This article has one aim, to reject the claim that negation is semantically ambiguous. The first section presents the putative incompatibility between truth-value gaps and the truth-schema; the second section presents the motivation for the ambiguity thesis; the third section summarizes arguments against the claim that natural language negation is semantically ambiguous; and the fourth section indicates the problems of an introduction of two distinct negation operators in natural language.

This paper discusses and criticizes Segal’s 1989 argument against singular object-dependent thoughts. His argument aims at showing that object-dependent thoughts are explanatorily redundant. My criticism of Segal’s argument has two parts. First, I appeal to common anti-individualist arguments to the effect that Segal’s type of argument only succeeds in establishing that object-dependent thoughts are explanatorily redundant for those aspects of subjects’ behaviour that do not require reference to external objects. Secondly, Segal’s view on singular thoughts is at odds with his (...) view on the semantics of proper names, which favours the singularity and object-dependency of the truth-conditions of sentences in which they occur. In particular, his views are at odds with a position he holds, that truth-conditional semantics can adequately account for all aspects of speakers’ linguistic competence in the use of proper names. (shrink)

No vastíssimo campo de estudos da obra de Platão, constatamos que os (as) especialistas mais respeitados (as) têm posições por vezes completamente divergentes. Em parte, por um lado, isso decorre da riqueza e da complexidade dessa obra; em boa medida, por outro lado, também decorre de diferentes métodos ou formas de abordar os Diálogos que os (as) intérpretes adotam. Diante disso, surge naturalmente a questão de como deveríamos ler essas obras. No entanto, analisando as diferentes abordagens usadas, pode-se notar que (...) as respostas a uma questão anterior frequentemente acabam determinando, não raro de modo tácito, as respotas a como ler os Diálogos e a abordagem adotada na prática. Essa questão anterior é a de qual seria a função precípua dos Diálogos, que tende a se confundir com a questão de o que no fundo seriam os Diálogos. Por exemplo, os (as) estudiosos (as) que na sua interpretação tendem a focar nas teses e nos argumentos (em detrimento dos elementos dramáticos e literários) supõem em geral que estão lidando com obras "filosóficas" e que devem cumprir, portanto, funções "filosóficas", como (segundo determinada concepção em geral pressuposta de filosofia) definir um conceito, responder uma questão teórica com argumentos racionais, fundamentar (ou questionar) a possibilidade de uma ciência do mundo e coisas desse jaez. Por outro lado, estudiosos (as) que focam nos aspectos dramáticos e literários consideram que estão interpretando obras literárias e que, portanto, não necessariamente cumpririam funções ou atividades filosóficas, mas antes fariam aquilo que seria próprio de obras literárias. Diante disso, eu gostaria de abordar uma dessas hipóteses frequentemente utilizadas, de forma explícita ou não, acerca da função dos Diálogos, qual seja, a de que essas obras ou pelo menos algumas delas fariam a defesa de Sócrates da acusação pela qual foi condenado à morte. Comparando a acusação com passagens dos Diálogos, pretendo mostrar que deveríamos descartar essa hipótese ao lê-los. Os ganhos exegéticos disso seriam consideráveis; um deles seria pararmos de tentar tornar corretos a todo custo, e muitas vezes em detrimento do próprio texto, os argumentos de Sócrates e passarmos, em vez disso, a analisá-los de forma mais crítica. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...) a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...) reflected in the title I chose (just now) for this book: Knowledge & Logic: Towards a science of knowledge. Its most important feature is that I shall take logic to be to knowledge science as calculus is to physics or to materials science. I do not intend to reclaim knowledge from the bosom of philosophy, in which, known as epistemology its erudite discussion has hardly progressed since Plato first defined it as true belief with logos. With only a few adjustments, it will actually provide me with the right, science-bound start. More recently, knowledge has been reclaimed by the field of BA, a reclaim that has opened the box of Pandora: Among the evils, and perhaps at the head of the list, is an overly lay, essentially naive, notion of knowledge. But the very idea that one can have something like “knowledge (management) software” puts us on the right track. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

On how medieval philosophy is not (only) theology.

A filosofia da linguagem dedica-se ao estudo da linguagem natural. Não se dedica ao estudo de línguas particulares, tal como o português, o castelhano ou o inglês, mas sim ao estudo filosófico de características gerais da linguagem e da nossa capacidade e proficiência linguística enquanto seres humanos. A investigação do desenvolvimento da linguagem é uma tarefa a ser desenvolvida pela ciência – a paleontologia, a neurologia, etc. Mas a ciência ocupa-se de algo de que temos um conhecimento intuitivo prévio – (...) a linguagem natural. Ora, a filosofia da linguagem dedica-se em parte a tornar explícito o nosso conhecimento implícito da linguagem. Como tal, a filosofia da linguagem é uma disciplina central na filosofia. Este capítulo é uma introdução selectiva à filosofia da linguagem. A alternativa que se nos deparava era fazer uma breve apresentação de teorias do significado, da referência e da verdade, e ainda de alguns tópicos de pragmática, ou escolher um tópico em particular que é, tradicionalmente, o elegido nos cursos introdutórios à filosofia da linguagem. Este capítulo oferece assim uma introdução a alguns dos temas centrais e clássicos da filosofia da linguagem contemporânea. A maior parte do capítulo dedicar-se-á a teorias da referência, a de Frege e de Russell, e à sua crítica subsequente por filósofos como Saul Kripke. Isto poderia levar-nos a pensar que a filosofia da linguagem contemporânea continua, como era tradicional, focada simplificada da relação entre linguagem, mente e mundo. Nada podia estar mais longe da verdade, como se tornará claro. A grande alteração na perspectiva sobre o estudo da linguagem, que se deve a pessoas como Frege ou Russell, é que graças ao seu trabalho os filósofos passaram a reflectir sobre a contribuição semântica sistematicamente feita por diferentes categorias sintácticas nas diferentes construções frásicas em que possam ocorrer, por exemplo a de termos referenciais como os nomes próprios. A relação linguagem-mente-mundo continua a ser uma preocupação dos filósofos contemporâneos, mas de uma forma muito mais sofisticada, rigorosa e sistemática. Os filósofos preocupam-se agora, por exemplo, com as condições de verdade correctas de usos particulares de frases, com os estados de coisas reais ou possíveis que confeririam verdade ou falsidade às frases usadas, e com o valor cognitivo de distintos tipos de frases. Como indicaremos na última secção do capítulo, outros desenvolvimentos da filosofia da linguagem contemporânea dizem respeito àquilo que nós, enquanto seres humanos, conseguimos fazer por meio da linguagem, aos diferentes actos de fala possíveis, e aos diferentes níveis de significado que podemos comunicar por meio do uso de frases com um significado convencionalmente estabelecido. (shrink)

This paper aims to map the different theoretical options related to the Precautionary Principle (PP). Great part of the literature on it can be systematized by answering to three different questions: is there a basic structure in the PP? If so, in which interpretation of the PP does this structure express itself? Finally, are its damage or knowledge conditions fixed or adjustable? The first question separates realist from non-realist approaches. The second question allows us to discriminate monist, dualist, or pluralist (...) positions in relation to the three interpretations of the PP: decision rule, procedural requirement, or epistemic rule. Finally, the third question distinguishes rigid from non-rigid formulations of the principle. Based on this mapping, one can not only navigate through the different formulations of the PP present both in official documents and in specialized literature, but also deflect some of its common objections, and understand Hans Jonas’ eventual connection with PP. Notwithstanding, this mapping does not capture other important themes attached to PP, which motivates a final distinction between narrow and broader forms of PP. (shrink)

In debates concerning the consequence argument, it has long been claimed that [McKay, T. J., and D. Johnson. 1996. “A Reconsideration of an Argument Against Compatibilism.” Philosophical Topics 24 (2): 113–122] demonstrated the invalidity of rule (β). Here, I argue that their result is not as robust as we might like to think. First, I argue that McKay and Johnson's counterexample is successful if one adopts a certain interpretation of ‘no choice about’ and if one is willing to deny the (...) conditional excluded middle principle. In order to make this point I demonstrate that (β) is valid on Stalnaker's theory of counterfactuals. This result is important and should not be neglected, I argue, because there is a particular line of objection to the revised formulations of the consequence argument that does not succeed against the original version. (shrink)

Rigidity does interesting philosophical work, with important consequences felt throughout metaphysics, epistemology, philosophy of mind, and so on. The authors’ aim in this article is to show that rigidity has yet another role to play, with surprising consequences for the problem of free will and determinism, for the phenomenon of rigidity has the upshot that some metaphysically necessary truths are up to us. The significance of this claim is shown in the context of influential arguments against free will. The authors (...) show that some virtually indisputable inference rules employed in formulations of the Consequence Argument, as well as in fatalistic arguments, fail with a variety of counter-examples. Along the way, the authors compare the present arguments to other, similar arguments made in recent years. (shrink)

This paper analyses the question concerning the scope, possibility and legitimation of critical discourse. For this we understand the kind of discourse in which a single individual or a minority group sustain claims against what is considered correct by a majority. We concentrate in a controversy where this problem receives a focal attention: the debate between Habermas and Gadamer. The problem with critical discourse there is its apparent paradoxical status. On the one side, it is questioned whether the conditions of (...) meaning elucidated by hermeneutics does not make critical discourse impossible. Hermeneutics replies asking whether the scope of critical discourse critical theory is committed to is not beyond the condition of any possible discourse. Our analysis of the dispute elucidates a common assumption to both perspectives: the similar role both attribute to implicit recognition (although understood in a very different material way) in the constitution of the symbolic domain. We take profit of the inscription of Wittgenstein in the debate in order to asses critically the controversy through the analysis of this assumption. (shrink)

Many authors agree that there is a dimension of conflict expressed through discourse that eludes purely semantic approaches. How and why do conative attitudes conflict? The latter question is the object of this paper. Conflicts of attitudes are typically modelled on one of two models. The first imposes a Subjective Rationality constraint on conflicting attitudes, and the second depends on the impossibility of Joint Satisfaction. This paper assesses whether either of the two conditions can account for conflicting attitudes. First, it (...) argues that Subjective Rationality cannot account for intersubjective conflicts. Second, it presents putative counterexamples to Joint Satisfaction. The counterexamples arise on the assumption that the attitudes are first personal. The paper then explores two alternatives: nihilism about attitudinal conflicts, and dropping the assumption that the relevant attitudes are first-personal states. Embracing nihilism would be devastating for expressivists and other non-cognitivists. But dropping the assumption on which the counterexamples to Satisfaction depend requires a new account of the conative attitudes expressed in value discourse. The paper concludes by pointing to an alternative. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

The paper analyses in some depth the distinction by Paul Humphreys between "epistemic opacity" —which I refer to as "weak epistemic opacity" here— and "essential epistemic opacity", and defends the idea that epistemic opacity in general can be made sense as coming in degrees. The idea of degrees of epistemic opacity is then exploited to show, in the context of computer simulations, the tight relation between the concept of epistemic opacity and actual scientific (modelling and simulation) practices. As a consequence, (...) interesting questions arise in connection with the role of agents dealing with epistemically opaque processes such as computer simulations. (shrink)

Os nomes próprios são termos singulares que intuitivamente indicam os objectos do discurso ou pensamento. Alguns nomes falham na sua função de referir, sem que, aparentemente, deixem de desempenhar um papel representacional. Isso é paradoxal: Por um lado, os objectos referidos deveriam fazer parte de uma caracterização correcta dos nomes próprios. Por outro lado, o significado das frases que incorporam nomes vácuos sugere que tais objectos são extrínsecos aos pensamentos transmitidos. Isto é o problema que se levanta com a existência (...) de representações vácuas. Este artigo apresentará o problema pela perspectiva dada pelo estado da arte corrente. (shrink)

I suggest that the main aim Recanati proposes to achieve in Perspectival Though—that a moderate relativist should adopt a Kaplanian framework with three levels of content, rather than a Lewisian framework with only two— seems insufficiently motivated, and the arguments offered do not settle the issue. I suggest furthermore that the claim that subjects’ mental states and cognitive situations can determine parameters or indices in circumstances of evaluation is an original and very interesting contribution. It is also an important one, (...) since it sets further apart the radical from the moderate relativist, and it is relevant in the current relativism debate, where truth is deemed to be relative to parameters other than worlds, times, places and individuals. I also offer a few objections to some of the reasons Recanati puts forward in support of this latter claim; I object in particular to those that depend on some considerations about psychological modes. (shrink)

É muitas vezes aceite que certas categorias, tipicamente as de género, raça, orientação sexual ou doença mental, são construções sociais e não divisões naturais no mundo. A distinção entre categorias naturais e categorias sociais, como pretende ser a distinção entre o sexo e o género, tem servido no âmbito da crítica e ciência social para advogar a abolição de certas normas sociais, e para a implementação de políticas mais equitativas. Contudo, há aspectos centrais do construtivismo que são pouco claros. O (...) que é que se nega ao rejeitar que as categorias construídas socialmente são naturais? E o que significa dizer que essas categorias são construções sociais? E será de todo verdade que certas categorias, como o género, são sociais e não naturais? Não tenho a pretensão de responder a todas estas complexas questões neste artigo, mas espero pelo menos iluminar parte do debate contemporâneo sobre estes problemas. Por uma questão de espaço, concentrar-me-ei na noção de género. (shrink)

This paper presents reasons against semantic relativism. Semantic relativism is motivated by intuitions that are presumed to raise problems for traditional or contextualist semantics in contested domains of discourse. Intuition-based arguments are those based on competent speakers’ putative intuitions about seeming faultless disagreement, eavesdropper, and retraction cases. I will organize the discussion in three parts. First, I shall provide a brief introduction to the intuition-based arguments offered in favor of semantic relativism. Second, I shall indicate that there are ways for (...) contextualism to explain the (appearance of) intuitions that support semantic relativism. Third, I shall review some experimental results and independent arguments that put into question the appeal of semantic relativism. (shrink)